include Core_intf
include Transition_frontier_components_intf
